Définition :
Soit \({\Bbb K}\) un corps commutatif et \(\operatorname{car}({\Bbb K})=p\in\Bbb P\)
L'application $$\psi:\begin{align}{\Bbb K}&\longrightarrow{\Bbb K}\\ x&\longmapsto {{x^p}}\end{align}$$ est un morphisme de corps appelé morphisme de Frobenius
Lemme de Frobenius
Lemme de Frobenius :
Soit \(A\) un anneau commutatif unitaire, et \(p\) un nombre premier tq $$p\cdot 1_A=\underbrace{1_A+\dots+1_A}_{p\text{ fois} }=0$$ alors \(\forall a,b\in A\), \((a+b)^p=a^p+b^p\)
